2

Synthesis of communications protocol converters: survey and assessment

Year:
1998
Language:
english
File:
PDF, 279 KB
english, 1998
3

Error detection and diagnosis for fault tolerance in distributed systems

Year:
1998
Language:
english
File:
PDF, 1.01 MB
english, 1998
4

Computer self-efficacy of university faculty in Lebanon

Year:
2008
Language:
english
File:
PDF, 168 KB
english, 2008
5

Synthesis of communications protocols

Year:
1996
Language:
english
File:
PDF, 2.08 MB
english, 1996
12

Modified distributed snapshots algorithm for protocol stabilization

Year:
1994
Language:
english
File:
PDF, 816 KB
english, 1994
13

An evolutionary technique for local microcode compaction

Year:
1995
Language:
english
File:
PDF, 662 KB
english, 1995
15

Recovery from concurrent failures in communication protocols

Year:
1996
Language:
english
File:
PDF, 1.24 MB
english, 1996
16

Efficient checkpointing procedures for fault tolerant distributed systems

Year:
1994
Language:
english
File:
PDF, 758 KB
english, 1994
18

Validation-directed specification of communications systems

Year:
1995
Language:
english
File:
PDF, 1.08 MB
english, 1995
22

Current issues in high-speed networks

Year:
2001
Language:
english
File:
PDF, 39 KB
english, 2001
23

Distributed gang scheduling in networks of heterogenous workstations

Year:
1997
Language:
english
File:
PDF, 402 KB
english, 1997
26

Two formal methods for the synthesis of discrete event systems

Year:
1997
Language:
english
File:
PDF, 2.37 MB
english, 1997
31

An efficient process migration algorithm for homogeneous clusters

Year:
1996
Language:
english
File:
PDF, 1.59 MB
english, 1996
34

Formal specification of an information gateway service interface in Estelle

Year:
1994
Language:
english
File:
PDF, 1.15 MB
english, 1994
36

Two new flavonoids from Retama raetam

Year:
2000
Language:
english
File:
PDF, 82 KB
english, 2000
37

Synthesis of protocol converters: an annotated bibliography

Year:
1998
Language:
english
File:
PDF, 2.75 MB
english, 1998